// JavaScript source code
function kernel() {
}